Programming language techniques for high-assurance cryptography
نویسنده
چکیده
Gilles Barthe (2017), “Programming language techniques for high-assurance cryptography”, : Vol. xx, No. xx, pp 1–1. DOI: 10.1561/XXXXXXXXX.
منابع مشابه
Position Paper: A Roadmap for High Assurance Cryptography
Although an active area of research for years, formal verification has still not yet reached widespread deployment. We outline the steps needed to move from low-assurance cryptography, as given by libraries such as OpenSSL, to high assurance cryptography in deployment. In detail, we outline the need for a suite of high-assurance cryptographic software with per-microarchitecture optimizations th...
متن کاملA Generic Framework for Automated Quality Assurance of Software Models Supporting Languages of Multiple Paradigms
Software Quality Assurance (QA) is a key area in the development and maintenance of scientific software systems in order to ensure the reliability of the output generated by such systems. Approaches taken in implementing QA within the lifecycle include manual techniques, which require developer intervention, and automated techniques, which can be completed by analysis toolsets. Manual QA techni...
متن کاملSecure Digital Cashless Transactions with Sequence Diagrams and Spatial Circuits to Enhance the Information Assurance and Security Education
Often students have difficulties mastering cryptographic algorithms. For some time we have been developing with methods for introducing important security concepts for both undergraduate and graduate students in Information Systems, Computer Science and Engineering students. To achieve this goal, Sequence diagrams and spatial circuit derivation from equations are introduced to students. Sequenc...
متن کاملModel Driven Testing of Web Applications Using Domain Specific Language
As more and more systems move to the cloud, the importance of web applications has increased recently. Web applications need more strict requirements in order to sup-port higher availability. The techniques in quality assurance of these applications hence become essential, the role of testing for web application becomes more significant. Model-driven testing is a promising paradigm for the auto...
متن کاملSurvey on Public Key Cryptography Scheme for Securing Data in Cloud Computing
Numerous advancements in the Information Technology (IT) require the proper security policy for the data storage and transfer among the cloud. With the increase in size of the data, the time required to handle the huge-size data is more. An assurance of security in cloud computing suffers various issues. The evolution of cryptographic approaches addresses these limitations and provides the solu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2017